modal logic
[ˈməʊdl ˈlɔdʒik]
un. 模态逻辑 [网络] 情态逻辑；模型逻辑；模太逻辑
un. 模态逻辑 [网络] 情态逻辑；模型逻辑；模太逻辑
热门查询
- detect vt. 察觉；发现；探测
- Armitage n. (Armitage)人名；(英)阿米蒂奇
- auxiliary n. 助动词；辅助者，辅助物；附属机构 adj. 辅助的；副的；附加的
- repress vt. 抑制；镇压（叛乱等）；约束 vi. 抑制；镇压
- uninsulated adj. [电] 未绝缘的；未保温的，不保温的
- skittle n. 撞柱游戏的木柱；九柱游戏用的小柱
- bombardment n. 轰炸；炮击
- calibrate vt. 校正；调整；测定口径
- fondle vt. 爱抚；抚弄 vi. 爱抚；调戏
- ej [医][=ejaculation]射精
- TriStar n. 三星牌旅行车
- Luanda n. 罗安达（安哥拉首都）
- childrearing n. 抚养孩子
- creeper 苦力怕（游戏Minecraft中的生物）；爬行者；[植] 匍匐植物；定速运送器
- cubic adj. 立方体的，立方的 n. (Cubic)人名；(罗)库比克
- gomer [人名] 戈默
- Mappin n. (Mappin)人名；(法)马潘；(英)马平
- apoptotic 凋亡
- dusting n. 打扫；殴打；（船遇到风暴时的）颠簸 v. 除去…灰尘；欧打（dust的ing形式）
- storeroom n. 库房；储藏室
考试词汇表
- type 2 hemadsorption virus
- type 2 protein phosphatase
- type A endothelin receptor
- type B Sanfilippo syndrome
- type B endothelin receptor
- type C natriuretic peptide
- type by absolute tautonomy
- type carrier, exchangeable
- type iv allergic reactions
- type of actual computation
- type of coal meta-morphism
- type of connection surface
- type of motion of elecrode
- type of sales organization
- type-A single-prong tester
- type-curve matching method
- type-line carrier, elastic
- types of rheoencephalogram
- typewriter console monitor
- typewriter control console
